新しいプログラミング・パラダイム⑤ 型推論とML - 共立出版コンピュータサイエンス誌『bit』